Locally normal subgroups of totally disconnected groups. Part I: general theory

- Caprace, Pierre-Emmanuel, Reid, Colin D., Willis, George A.

Locally normal subgroups of totally disconnected groups. Part II: compactly generated simple groups

- Caprace, Pierre-Emmanuel, Reid, Colin D., Willis, George A.

CodeHow: effective code search based on API understanding and extended Boolean model

- Lv, Fei, Zhang, Hongyu, Lou, Jian-guang, Wang, Shaowei, Zhang, Dongmei, Zhao, Jianjun